|
In arithmetic geometry, the Tate–Shafarevich group Ш(''A''/''K''), introduced by and , of an abelian variety ''A'' (or more generally a group scheme) defined over a number field ''K'' consists of the elements of the Weil–Châtelet group WC(''A''/''K'') = H1(''G''''K'', ''A'') that become trivial in all of the completions of ''K'' (i.e. the p-adic fields obtained from ''K'', as well as its real and complex completions). Thus, in terms of Galois cohomology, it can be written as : Cassels introduced the notation Ш(''A''/''K''), where Ш is the Cyrillic letter "Sha", for Shafarevich, replacing the older notation TS. ==Elements of the Tate–Shafarevich group== Geometrically, the non-trivial elements of the Tate–Shafarevich group can be thought of as the homogeneous spaces of ''A'' that have ''K''v-rational points for every place ''v'' of ''K'', but no ''K''-rational point. Thus, the group measures the extent to which the Hasse principle fails to hold for rational equations with coefficients in the field ''K''. gave an example of such a homogeneous space, by showing that the genus 1 curve has solutions over the reals and over all ''p''-adic fields, but has no rational points. gave many more examples, such as : The special case of the Tate–Shafarevich group for the finite group scheme consisting of points of some given finite order ''n'' of an abelian variety is closely related to the Selmer group. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Tate–Shafarevich group」の詳細全文を読む スポンサード リンク
|